Reconstructing a single-head formula to facilitate logical forgetting

A Haar wavelets approach to Stirling's formula

This paper presents a proof of Stirling's formula using Haar wavelets and some properties of Hilbert space, such as Parseval's identity. The present paper shows a connection between Haar wavelets and certain sequences.

Propositional Independence - Formula-Variable Independence and Forgetting

Independence -- the study of what is relevant to a given problem of reasoning -- has received an increasing attention from the AI community. In this paper, we consider two basic forms of independence, namely, a syntactic one and a semantic one. We show features and drawbacks of them. In particular, while the syntactic form of independence is computationally easy to check, there are cases in whi...

Quantitatively Evaluating Formula-Variable Relevance by Forgetting

Forgetting is a feasible tool for weakening knowledge bases by focusing on the most important issues, and ignoring irrelevant, outdated, or even inconsistent information, in order to improve the efficiency of inference, as well as resolve conflicts in the knowledge base. Also, forgetting has connections with relevance between a variable and a formula. However, in the existing literature, the de...

Running head: Retrieval-induced forgetting

How to Facilitate Social Contagion?

Achieving the Millennium Development Goals has proven to be a real challenge. Providing evidence on cost-effective interventions did not prove to be sufficient to secure the trust of national authorities, health care providers and patients. Introducing change in a health system requires a good understanding of the relationships between the actors of the system. Social network analysis can provi...